nokia siemens samsung finite state machine phone cell embedded systems code generator pic quantum programming code generation wireless reactive systems mobile fsm java asp.net panasonic pic16f84